PossibleEvent(${\it poss}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it es}$:ES $\times$ (:E $\times$ (${\it poss}$(${\it es}$)))